Home Up Previous Next Random Flashcard
The adjunction called ?currying says \(\mathbf{Set}(A \times B,C)\cong \mathbf{Set}(A,C^B)\)
